DuplicateFields.agda:10,9-30
Duplicate fields x in record
when checking that the expression record { x = x ; x = y } has type
D
